# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: 1
  1: Value: 2
  2: Value: 5
  3: Value: 6
  4: Value: 10
  5: Value: 12
  6: Value: 15
  7: Value: 24
  8: Value: 25
  9: Value: 30